Abstract Interpretation of Supermodular Games

Supermodular games find significant applications in a variety of models, especially in operations research and economic applications of noncooperative game theory, and feature pure strategy Nash equilibria characterized as fixed points of multivalued functions on complete lattices. Pure strategy Nash equilibria of supermodular games are here approximated by resorting to the theory of abstract interpretation, a well established and known framework used for designing static analyses of programming languages. This is obtained by extending the theory of abstract interpretation in order to handle approximations of multivalued functions and by providing some methods for abstracting supermodular games, in order to obtain approximate Nash equilibria which are shown to be correct within the abstract interpretation framework

The inhabited environment, infrastructure development and advanced urbanization in China's Yangtze River Delta Region

This paper analyzes the relationship among the inhabited environment, infrastructure development and environmental impacts in China's heavily urbanized Yangtze River Delta region. Using primary human environment data for the period 2006-2014, we examine factors affecting the inhabited environment and infrastructure development: urban population, GDP, built-up area, energy consumption, waste emission, transportation, real estate and urban greenery. Then we empirically investigate the impact of advanced urbanization with consideration of cities' differences. Results from this study show that the growth rate of the inhabited environment and infrastructure development is strongly influenced by regional development structure, functional orientations, traffic network and urban size and form. The effect of advanced urbanization is more significant in large and mid-size cities than huge and mega cities. Energy consumption, waste emission and real estate in large and mid-size cities developed at an unprecedented rate with the rapid increase of economy. However, urban development of huge and mega cities gradually tended to be saturated. The transition development in these cities improved the inhabited environment and ecological protection instead of the urban construction simply. To maintain a sustainable advanced urbanization process, policy implications included urban sprawl control polices, ecological development mechanisms and reforming the economic structure for huge and mega cities, and construct major cross-regional infrastructure, enhance the carrying capacity and improvement of energy efficiency and structure for large and mid-size cities

Ethanol extract of Hedyotis diffusa willd. induction of apoptosis via PI3K/Akt and XIAP pathways in human leukemic THP-1 cells

Hedyotis diffusa (H. diffusa) Willd. is known to induce apoptosis in cancer cells. However, the molecular mechanism of its anti-cancer activity has not been fully elucidated. In this study, we found that the ethanol extract of H. diffusa Willd. (EEHDW) reduced cell viability and induced apoptosis in a dose- and time-dependent manner in human leukemic THP-1 cells. The induction of apoptosis was also accompanied by the down regulation of PI3K/Akt and the inhibitor of apoptosis protein (IAP) family proteins. Moreover, we observed that EEHDW treatment resulted in activation of caspase-3, which may partly explain the anti-cancer activity of EEHDW.Key words: Hedyotis diffusa Willd., THP-1, apoptosis, caspase

Expression of Protease-Activated Receptor 1 and 2 and Anti-Tubulogenic Activity of Protease-Activated Receptor 1 in Human Endothelial Colony-Forming Cells

Endothelial colony-forming cells (ECFCs) are obtained from the culture of human peripheral blood mononuclear cell (hPBMNC) fractions and are characterised by high proliferative and pro-vasculogenic potential, which makes them of great interest for cell therapy. Here, we describe the detection of protease-activated receptor (PAR) 1 and 2 amongst the surface proteins expressed in ECFCs. Both receptors are functionally coupled to extracellular signal-regulated kinase (ERK) 1 and 2, which become activated and phosphorylated in response to selective PAR1- or PAR2-activating peptides. Specific stimulation of PAR1, but not PAR2, significantly inhibits capillary-like tube formation by ECFCs in vitro, suggesting that tubulogenesis is negatively regulated by proteases able to stimulate PAR1 (e.g. thrombin). The activation of ERKs is not involved in the regulation of tubulogenesis in vitro, as suggested by use of the MEK inhibitor PD98059 and by the fact that PAR2 stimulation activates ERKs without affecting capillary tube formation. Both qPCR and immunoblotting showed a significant downregulation of vascular endothelial growth factor 2 (VEGFR2) in response to PAR1 stimulation. Moreover, the addition of VEGF (50–100 ng/ml) but not basic Fibroblast Growth Factor (FGF) (25–100 ng/ml) rescued tube formation by ECFCs treated with PAR1-activating peptide. Therefore, we propose that reduction of VEGF responsiveness resulting from down-regulation of VEGFR2 is underlying the anti-tubulogenic effect of PAR1 activation. Although the role of PAR2 remains elusive, this study sheds new light on the regulation of the vasculogenic activity of ECFCs and suggests a potential link between adult vasculogenesis and the coagulation cascade

Exact Hybrid Covariance Thresholding for Joint Graphical Lasso

This paper considers the problem of estimating multiple related Gaussian graphical models from a $p$-dimensional dataset consisting of different classes. Our work is based upon the formulation of this problem as group graphical lasso. This paper proposes a novel hybrid covariance thresholding algorithm that can effectively identify zero entries in the precision matrices and split a large joint graphical lasso problem into small subproblems. Our hybrid covariance thresholding method is superior to existing uniform thresholding methods in that our method can split the precision matrix of each individual class using different partition schemes and thus split group graphical lasso into much smaller subproblems, each of which can be solved very fast. In addition, this paper establishes necessary and sufficient conditions for our hybrid covariance thresholding algorithm. The superior performance of our thresholding method is thoroughly analyzed and illustrated by a few experiments on simulated data and real gene expression data

Microcystin-leucine arginine causes cytotoxic effects in sertoli cells resulting in reproductive dysfunction in male mice

2016-2017 > Academic research: refereed > Publication in refereed journal201804_a bcmaVersion of RecordPublishe

Impacts of Co-Solvent Flushing on Microbial Populations Capable of Degrading Trichloroethylene

With increased application of co-solvent flushing technologies for removal of nonaqueous phase liquids from groundwater aquifers, concern over the effects of the solvent on native microorganisms and their ability to degrade residual contaminant has also arisen. This study assessed the impact of ethanol flushing on the numbers and activity potentials of trichloroethylene (TCE)-degrading microbial populations present in aquifer soils taken immediately after and 2 years after ethanol flushing of a former dry cleaners site. Polymerase chain reaction analysis revealed soluble methane monooxygenase genes in methanotrophic enrichments, and 16S rRNA analysis identified Methylocystis parvus with 98% similarity, further indicating the presence of a type II methanotroph. Dissimilatory sulfite reductase genes in sulfate-reducing enrichments prepared were also observed. Ethanol flushing was simulated in columns packed with uncontaminated soils from the dry cleaners site that were dosed with TCE at concentrations observed in the field; after flushing, the columns were subjected to a continuous flow of 500 pore volumes of groundwater per week. Total acridine orange direct cell counts of the flushed and nonflushed soils decreased over the 15-week testing period, but after 5 weeks, the flushed soils maintained higher cell counts than the nonflushed soils. Inhibition of methanogenesis by sulfate reduction was observed in all column soils, as was increasing removal of total methane by soils incubated under methanotrophic conditions. These results showed that impacts of ethanol were not as severe as anticipated and imply that ethanol may mitigate the toxicity of TCE to the microorganisms

An adaptive technique for content-based image retrieval

We discuss an adaptive approach towards Content-Based Image Retrieval. It is based on the Ostensive Model of developing information needs—a special kind of relevance feedback model that learns from implicit user feedback and adds a temporal notion to relevance. The ostensive approach supports content-assisted browsing through visualising the interaction by adding user-selected images to a browsing path, which ends with a set of system recommendations. The suggestions are based on an adaptive query learning scheme, in which the query is learnt from previously selected images. Our approach is an adaptation of the original Ostensive Model based on textual features only, to include content-based features to characterise images. In the proposed scheme textual and colour features are combined using the Dempster-Shafer theory of evidence combination. Results from a user-centred, work-task oriented evaluation show that the ostensive interface is preferred over a traditional interface with manual query facilities. This is due to its ability to adapt to the user's need, its intuitiveness and the fluid way in which it operates. Studying and comparing the nature of the underlying information need, it emerges that our approach elicits changes in the user's need based on the interaction, and is successful in adapting the retrieval to match the changes. In addition, a preliminary study of the retrieval performance of the ostensive relevance feedback scheme shows that it can outperform a standard relevance feedback strategy in terms of image recall in category search

Inclusive wealth index measuring sustainable development potentials for Chinese cities

The UN Sustainable Development Goals (SDGs) are the blueprint to achieve a better and more sustainable future. To achieve the goal, tracking progress — not just on a national level, but locally — is crucial to guide future policy development. While sustainability assessment at the national evel is quite advanced in China, similar assessments focusing at the regional or even at the city-level are currently lacking. Here, we advanced the Inclusive Wealth Index (IWI) framework, which is firstly proposed by the United Nations Development Programme, through taking water wealth into account and adjusting the variable based on data availability. Then we investigate the sustainability performance of 210 cities in China in 2016 via the advanced version of the IWI framework. The analysis makes a holistic assessment based on produced, human, and natural capital, as well as considering heterogeneities in economy, social, and environmental conditions across these cities. We find that cities clustered in the eastern parts of China are characterized by high levels of sustainability performance and increasing capacities for sustainability, largely driven by their high quality and quantity of human capital. In comparison, the western cities have a large amount of low-skilled human capital and low levels of produced capital, which determines their low sustainability performance. Cities clustered in the north are heavily dependent on low value-added products and resource-intensive industries. Furthermore, we make projections of the IWI and its three components for different cities from 2020 to 2030, referring to the index systems presented in city planning which describe the development speed of income, education, fixed asset investment, forests etc. In the future, cities in central and western clusters show considerable potential for increasing IWI per capita, whereas cities with a dominant energy sector in the north would face declining capacity for sustainability due to the exhaustion of fossil fuels and raw materials. By fully taking account of and adapting to local circumstances, we tailor-design pathways for different types of cities to grow their sustainability potentials. Those resources-dependent cities in the north could avoid the impending decline by gradually developing their human and produced capital while abandoning their resource dependency. Our study contributes to city-level sustainable development in China through the lens of per capita IWI and the potential future dynamics of changing compositions in their capital